Bibliography of Theoretical Computer
نویسندگان
چکیده
References [1] I. Aktug and D. Gurov. State space representation for verification of open systems. [5] Mads Dam. Decidability and proof systems for language-based non-interference relations.
منابع مشابه
مقایسه اثربخشی مشاوره حضوری و کتابدرمانی به شیوه شناختی در کاهش علایم افسردگی
AbstractObjectives: The purpose of this study was to determine the effect of Beck’s cognitive therapy, face to face counseling, and bibliotherapy on the treatment of patients with mild to moderate depression. Method: The subjects consisted of 30 clients referred to the Isfahan University Center for Counseling, who were diagnosed with mild to moderate depression via Beck’s Depression Questionna...
متن کاملLearning of Context-Free Languages: A Survey of the Literature
We survey methods for learning context-free languages (CFL’s) in the theoretical computer science literature. We first present some important negative results. Then, we consider five types of methods: those that take text as input, those that take structural information as input, those that rely on CFL formalisms that are not based on context-free grammars, those which learn subclasses of CFL’s...
متن کاملA Complete Bibliography of Publications in Chicago Journal of Theoretical Computer Science
29]. Accuracy [34]. Algorithms [18, 15, 6]. Approximating [12]. Arbitrary [29]. Arithmetic [16]. ATM [7]. Atomicity [9]. Automorphisms [21]. Balancing [35]. Bibliography [20]. Boolean [2]. Bounds [28, 29]. Branching [16]. Channel [10]. Characterizing [33]. Checkable [4]. Checking [37]. Circuits [27, 37, 16]. Classes [33]. Clock [34]. Closed [1]. Coding [31]. Coloring [32]. Combinatorics [15]. C...
متن کاملA Procosii Project Final Report: Esprit Basic Research Project 7071
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...
متن کاملSome Polynomial Inequalities on Real Normed Spaces
We consider various inequalities for polynomials, with an emphasis on the most fundamental inequalities of approximation theory. In the sequel a key role is played by the generalized Minkowski functional α(K,x), already being used by Minkowski and contemporaries and having occurred in approximation theory in the work of Rivlin and Shapiro in the early sixties. We try to compare real, geometric ...
متن کامل